Selectively Defined Subsystems
نویسندگان
چکیده
The implementation of programming systems that cannot leak confidential information Is examined. Unless severe restrictions are placed on their form, programs of such systems cannot even be permitted to output apparently nonconfldential information unless they have been proved error-free.
منابع مشابه
I-32: Implantation and Recurrent PregnancyLoss
Background: Recurrent pregnancy loss (RPL), defined as 3 or more consecutive pregnancy failures, is a common and distressing disorder. Chromosome instability in the conceptus is the most common cause whereas uterine factors are invariably invoked to explain nonchromosomal miscarriages. These uterine factors are, however, poorly defined. Materials amd Methods: Laboratory-based analysis of endome...
متن کاملPii: S0028-3932(01)00069-0
It is known that the adult visual memory system is fractionable into functionally independent cognitive subsystems, selectively susceptible to brain damage. In addition, there have been hints from studies with individuals with autism that these cognitive subsystems can fractionate developmentally. However, there has been a paucity of systematic investigations. The present study involves the ana...
متن کاملFractionation of visual memory: agency detection and its impairment in autism.
It is known that the adult visual memory system is fractionable into functionally independent cognitive subsystems, selectively susceptible to brain damage. In addition, there have been hints from studies with individuals with autism that these cognitive subsystems can fractionate developmentally. However, there has been a paucity of systematic investigations. The present study involves the ana...
متن کاملDeveloping an economical model for reliability allocation of an electro-optical system by considering reliability improvement difficulty, criticality, and subsystems dependency
The nature of electro-optical equipment in various industries and the pursuit of the goal of reducing costs demand high reliability on the part of electro-optical systems. In this respect, reliability improvement could be addressed through a reliability allocation problem. Subsystem reliability must be increased such that the requirements as well as defined requisite functions are ensured in ac...
متن کاملA partial ordering of sets , making mean entropy monotone
Consider a state of a system with several subsystems. The entropies of the reduced state on different subsystems obey certain inequalities, provided there is an equivalence relation, and a function measuring volumes or weights of subsystems. The entropy per unit volume or unit weight, the mean entropy, is then decreasing with respect to an order relation of the subsystems, defined in this paper...
متن کامل